Nuprl Lemma : squash_functionality_wrt_implies 13,42

PQ:. {P  Q {(P (Q)} 
latex


Upcore 2, core 2
Definitionst  T, {T}, P  Q, , x:AB(x), True, T
Lemmassquash wf

origin